bool<(* "" *)[<Measure>] 'm>
